Gradual Typing

Feeds to Scour
SubscribedAll
Scoured 18 posts in 37.3 ms

No high-quality results found.

Less-relevant results
🔬Leanarxiv.org·

Revisiting average case complexity of multilevel syllogistic: From the 1995 Courant Technical Report to Lean 4 Formalization

Feeds
⚡Parallel Computingporchlab.com·

The best stack for the AI Era

Discussed on Hacker News
Feeds
🔓HackingKobzol’s blog·

How memory safety CVEs differ between Rust and C/C++

Covers 4 stories See all stories this covers including The pressure
Covered by 3 sources See all sources covering this story including this-week-in-rust.org, Awesome Rust Weekly
Discussed on Hacker News and Lobsters
Feeds
🧲Magnetic PhilosophyPluralistic (Cory Doctorow)·

Pluralistic: AI digital sovereignty risk doesn't exist (18 Jun 2026)

Covers Trump’s Anthropic shutdown just made the case for non-American AI
Covered by Techrights
Discussed on Hacker News
Feeds
🧲Magnetic Philosophydoctorow.medium.com
·

AI digital sovereignty risk doesn’t exist

Feeds
🧠Learned IndexingPhys.org·

AI teaches asset traders not to sweat the small stuff

Feeds
💻Programming languagesjcreedcmu.github.io·

One More Type in the Tiny Type Theory

Discussed on Hacker News
Feeds
🧮Kolmogorov Complexityarxiv.org·

Let LLMs Judge Each Other: Multi-Agent Peer-Reviewed Reasoning for Medical Question Answering

Feeds
⚙️TLA+arxiv.org·

A Formal Framework for Declarative Agentic AI in Business Process Analysis

Feeds
🔄Finite State Machinesarxiv.org·

A Neuro-Symbolic Approach to Strategy Synthesis for Strategic Logics

Feeds
🦀Rust Borrowingarxiv.org·

obliv-clang: Real-World Oblivious Programming in C++

Feeds
🛡️Error Boundariesarxiv.org·

A Formal Resilience Framework for Cyber-Physical Embodied Systems under Device-Level Cyberattacks

Feeds
🎙️Whisperarxiv.org·

WEQA: Wearable hEalth Question Answering with Query-Adaptive Agentic Reasoning

Feeds
👁️Observatory Systemsarxiv.org·

On the Limits of Causal Observation in Shared-Memory Systems

Feeds
🤝Consensus Protocolsarxiv.org·

Lattice Aggregation in Distributed Verification under Crash and Byzantine Failures

Feeds
📐Projective Geometryarxiv.org·

Fusing Transferred Priors and Physics-based Decomposition for Underwater Image Enhancement

Feeds
💻Local LLMsarxiv.org·

Auditing Machine Unlearning: A Systematic Research on Whether Models Truly Forget

Feeds
📊Graph Databasesarxiv.org·

Transforming Shape Schemas with Composable Property-Graph Queries (Extended Version)

Feeds

No more posts from matmat's subscribed feeds.

Scour all 25,324 feedsLearn more about Feeds

Keyboard Shortcuts

Navigation

Next / previous post
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Discover
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help